Precise but Natural Specification for Robot Tasks
نویسندگان
چکیده
We present Flipper, a natural language interface for describing high level task specifications for robots that are compiled into robot actions. Flipper starts with a formal core language for task planning that allows expressing rich temporal specifications and uses a semantic parser to provide a natural language interface. Flipper provides immediate visual feedback by executing an automatically constructed plan of the task in a graphical user interface. This allows the user to resolve potentially ambiguous interpretations. Flipper extends itself via naturalization: users of Flipper can define new commands, which are generalized and added as new rules to the core language, gradually growing a more and more natural task specification language. Unlike other task-specification systems, Flipper enables natural language interactions while maintaining the expressive power and formal precision of a programming language. We show through an initial user study that natural language interactions and generalization can considerably ease the description of tasks. Moreover, over time, users employ more and more concepts outside of the initial core language. Such extensions are available to the Flipper community, and users can use concepts that others have defined.
منابع مشابه
Optimal discrete-time control of robot manipulators in repetitive tasks
Optimal discrete-time control of linear systems has been presented already. There are some difficulties to design an optimal discrete-time control of robot manipulator since the robot manipulator is highly nonlinear and uncertain. This paper presents a novel robust optimal discrete-time control of electrically driven robot manipulators for performing repetitive tasks. The robot performs repetit...
متن کاملTest Generation from Formal Specifications
Requirements serve as the basis of test generation. Requirements for a program under test can be known to the test generator in a variety of forms. A commonly used form is a plain English language description. The tester generates test cases from these requirements. While requirements written in plain English allow quick understanding and dissemination to a wide audience, they suffer from sever...
متن کاملTowards Coordination and Control of Multi-robot Systems
This thesis focuses on control and coordination of mobile multi-robot systems (MRS). In recent years there has been an increasing interest in systems comprised of several autonomous mobile robots. MRS can often deal with tasks that are difficult, if not impossible, to be accomplished by a single robot. In the context of MRS, one of the challenges is the need to control, coordinate and synchroni...
متن کاملNeural Network Modelling of Optimal Robot Movement Using Branch and Bound Tree
In this paper a discrete competitive neural network is introduced to calculate the optimal robot arm movements for processing a considered commitment of tasks, using the branch and bound methodology. A special method based on the branch and bound methodology, modified with a travelling path for adapting in the neural network, is introduced. The main neural network of the system consists of diff...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کامل